Possible fix for bug #14630, which continues bug #14062.
authorEli Zaretskii <eliz@gnu.org>
Mon, 17 Jun 2013 16:28:47 +0000 (19:28 +0300)
committerEli Zaretskii <eliz@gnu.org>
Mon, 17 Jun 2013 16:28:47 +0000 (19:28 +0300)
commit4a36e639c3d28bd9a08b10ba2814c2d9128eabd2
tree4a956567f9be5c007d306e03969ecabb72149b59
parent6be71cf97050988f3419262ad81fe2b69fa4d622
Possible fix for bug #14630, which continues bug #14062.

 src/w32fns.c (w32_wnd_proc): Don't call WINDOW_HEADER_LINE_HEIGHT
 unless we know that the window w's frame is a frame object.
src/ChangeLog
src/w32fns.c